int_to_real:[i:Int -> Real] <- 
	if 	i = 0
	then	0.
	else if i < 0
	then 	(int_to_real (i + 1)) - 1.
	else 	(int_to_real (i - 1)) + 1.
	/if;

real_to_int:[r:Real -> Int] <-
	if	r >= 0. && r < 1.
	then 	0
	else if r < 0.
	then 	(real_to_int (r + 1.)) - 1
	else 	(real_to_int (r - 1.)) + 1
	/if;
